2021. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
2022. Testing and tuning market trading systems :
پدیدآورنده : Timothy Masters.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
2023. The Amazing Journey of Reason
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
2024. The Design and analysis parallel alogrithms
پدیدآورنده : / Selim G, Aki
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2025. The Design and analysis parallel alogrithms
پدیدآورنده : / Selim G, Aki
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2026. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
2027. The Lanczos method :
پدیدآورنده : Louis Komzsik
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
رده :
QA76
.
9
.
M35
K66
2003
2028. The Lanczos method: evolution and application
پدیدآورنده : Komzsik, Louis
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
رده :
QA
76
.
9
.
M35
K66
2029. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
2030. The Macintosh bible /
پدیدآورنده : Sharon Zardetto Aker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
2031. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer science.
2032. The P=NP question and Geodel's lost letter
پدیدآورنده : Richard J. Lipton
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
2033. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
2034. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Data mining,، Computer algorithms
رده :
QA
76
.
9
.
D343
T66
2009
2035. The Traveling Salesman Problem and Its Variation
پدیدآورنده : / edited by Gregory Gutin, Abraham P. Punnen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science.,Computational complexity.,Algorithms.,Mathematical optimization.
رده :
QA
,
76
.
9
,.
M35
2036. The algorithm design manual
پدیدآورنده : Steven S. Skiena,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computer algorithms
رده :
EBOOK
,
QA
.
A43
,
S55
76
.
9
2008
2037. The algorithm design manual
پدیدآورنده : Skiena, Steven S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
S55
2008
2038. The algorithm design manual
پدیدآورنده : Skiena, Steven S.
کتابخانه: (طهران)
موضوع : Computer algorithms
رده :
QA
76
.
9
.
A43
S55
1998
2039. The algorithm design manual
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms. ;
2040. The algorithm design manual
پدیدآورنده : / Steven S. Skiena
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer algorithms.
رده :
QA
,
76
.
9
,.
A43
,
S55
,
2008
